Effective topological spaces III: Forcing and definability
نویسندگان
چکیده
منابع مشابه
Hybrid Definability in Topological Spaces
We present some results concerning definability of classes of topological spaces in hybrid languages. We use language Lt described in [9] to establish notion of “elementarity” for classes of topological spaces. We use it to prove the analogue of Goldblatt-Thomason theorem in topological spaces for hybrid languages H(E) and H(@). We also prove a theorem that allows to reformulate definability re...
متن کاملCreature Forcing and Topological Ramsey Spaces
This article introduces a line of investigation into connections between creature forcings and topological Ramsey spaces. Three examples of pure candidates for creature forcings are shown to contain dense subsets which are actually topological Ramsey spaces. A new variant of the product tree Ramsey theorem is proved in order to obtain the pigeonhole principles for two of these examples.
متن کاملSome Results on Modal Axiomatization and Definability for Topological Spaces
We consider two topological interpretations of the modal diamond—as the closure operator (C-semantics) and as the derived set operator (d-semantics). We call the logics arising from these interpretations C-logics and d-logics, respectively. We axiomatize a number of subclasses of the class of nodec spaces with respect to both semantics, and characterize exactly which of these classes are modall...
متن کاملs-Topological vector spaces
In this paper, we have dened and studied a generalized form of topological vector spaces called s-topological vector spaces. s-topological vector spaces are dened by using semi-open sets and semi-continuity in the sense of Levine. Along with other results, it is proved that every s-topological vector space is generalized homogeneous space. Every open subspace of an s-topological vector space is...
متن کامل$L$-fuzzy approximation spaces and $L$-fuzzy topological spaces
The $L$-fuzzy approximation operator associated with an $L$-fuzzy approximation space $(X,R)$ turns out to be a saturated $L$-fuzzy closure (interior) operator on a set $X$ precisely when the relation $R$ is reflexive and transitive. We investigate the relations between $L$-fuzzy approximation spaces and $L$-(fuzzy) topological spaces.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 1987
ISSN: 0168-0072
DOI: 10.1016/0168-0072(87)90009-1